高校图书馆服务与MOOC融合发展研究

介绍了MOOC的基本概念及其发展情况，探讨了MOOC时代高校图书馆的角色定位，分析了MOOC时代高校图书馆的独特优势，指出高校图书馆只有与MOOC融合发展，才能适应信息化社会的需要。     

国外图书馆科研支持服务研究

介绍了图书馆科研支持服务的背景,分析了国外图书馆科研支持服务的种类,举例说明了国外图书馆科研支持服务的具体实践.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

酚酞在NaOH,Na_2CO_3和NaHCO_3溶液中的显色现象及其应用

酚酞在不同浓度的Na OH,Na2CO3和Na HCO3溶液中会有不同的显色现象,这些差异可用于区别Na OH,Na2CO3以及Na HCO3溶液.     

分数次极大算子及交换子在λ-中心Morrey空间上的加权估计

利用权不等式及实变方法,得到了粗糙核分数次极大算子在加权λ-中心Morrey空间上的有界性。同时也证明了粗糙核分数次极大算子与加权λ-中心有界平均振荡函数生成的交换子的有界性。     

Banach空间中寻求(α,β)-适度混合集值映像吸引点的一般迭代格式

引入（α，β）-适度混合集值映像与条件I^*的概念，提出了用于寻求（α，β）-适度混合集值映像吸引点的一般迭代法.在一致凸Banach空间中，利用条件I^*与半紧性质，建立了所提（α，β）-适度混合集值映像的迭代格式的强收敛性.结论改进与修正了之前文献中已发布的相应结果.     

矩阵力学与波动力学等价性证明的历史分析

矩阵力学和波动力学是量子力学的两种早期形态。前者由海森堡、约当、玻恩提出,后者由薛定谔提出。1926年,薛定谔给出二者之间等价性的证明。随后,泡利、狄拉克、约当、冯·诺伊曼等人或是为等价性证明给出新的版本,或是给出了间接的论证。这两种力学现在已被表述为海森堡绘景和薛定谔绘景,而数学家近来又从量子化问题出发对其等价性做出新的考察。本文对此历史过程进行回顾分析,以评估等价性问题对物理发展的意义。     

2018年深空探测热点回眸

 深空探测指人类航天器离开近地轨道、进入太阳系空间和宇宙空间，对地球以外天体（月球及以远天体）或空间环境开展的科学探测。2018年，国际深空探测叠彩纷呈：中国“嫦娥四号”成功实现国际首次月球背面软着陆并将开展巡视勘察；美国“洞察号”探测器登陆火星；向太阳系空间进发，朝向日心方向，欧洲空间局和日本合作研制的BeipiColombo探测器正飞向水星、美国“帕克号”探测器开启“史诗级”旅行去“触摸太阳”，远离日心方向，“新视野号”成功飞掠柯伊伯带的小行星“天涯海角”、“旅行者2号”突破日球层顶；美国“奥西里斯-REx”和日本“隼鸟2号”顺利抵达各自目标小行星执行采样任务。2018年，月球表面存在水冰、火星发现有机分子、太阳系边际再抵近等发现或突破对于探寻生命起源、太阳系起源和演化，拓展人类知识体系具有重要意义。     

轨道分析解的改进方法及其应用

主要介绍一种通过改进各类轨道摄动项的表达形式,以优化计算效率的轨道分析解改进方法。以低地球轨道为例,阐述了轨道分析解改进后的具体算法,并通过数值仿真分析验证了算法的有效性和实用性。算法以第一类无奇点根数作为轨道状态量,采用开普勒轨道根数计算各类摄动力的长期、长周期和短周期项,通过较简单的组合形式计算无奇点根数的对应摄动项,实现在保持分析解精度和消除小偏心率奇点的同时,提高计算效率。仿真结果表明,分析解算法的模型精度在1E-5量级,符合一阶分析解理论精度的预期;同时计算速度达到传统分析解算法的4倍左右,可有效提升空间碎片轨道预报的计算效率,具有较强的工程应用价值。     

(B(H))上保交换零积的可加映射

讨论了B(H)上保交换零积的可加映射,其中B(H)是由Hilbert空间H上的有界线性算子全体组成的Banach代数。首先给出了在有限维情形下,若Φ是保交换零积的可加满射,使得Φ(I)=I,并且对每个一秩幂等算子P∈Mn都有Φ(FΦ)FΦ(P),则Φ是一个自同构或反自同构。进一步给出了无限维情形下,若Φ是保交换零积可加满射,则Φ是非零数乘一个环同构或一个环反同构。